图归约机
The basis of the proposed graph reduction machine is Curry's combinatory logic.
已提出的图归约机的基础是Currg的合成逻辑(简称C逻辑),但是在图归约机中用C逻辑中的组合子定义作为归约规则似乎过于烦琐。
英语网 · 外贸英语
英语网 · 双语娱乐资讯
英语网 · 商务英语